1. Logic for computer science /
پدیدآورنده : Steve Reeves, Michael Clarke
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
R34
1990
2. Logic for computer science
پدیدآورنده : Reeves, Steve
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Logic, symbolic and mathematical
رده :
QA
9
.
R34
1990